Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets
نویسندگان
چکیده
منابع مشابه
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
Bishop’s informal set theory is briefly discussed and compared to Lawvere’s Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive type theory of Martin-Löf. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop. Mathematics Subject Cl...
متن کاملUnivalent foundations as structuralist foundations
The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception of the basic objects of mathematics (“homotopy types” instead of “sets”) but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a prag...
متن کاملScientific Theories and the Computational Theory of Perceptions - A Structuralist View Including Fuzzy Sets
Fuzzy Logic, Computing with words, and the Computational Theory of Preceptions build a stack of methodologies to help bridge the gap between systems and phenomena in reality and scientific theories. Bridging this gap has been a problem in all philosophical approaches, and the so-called structuralist view of theories in one that was established in the 20 century. In this paper we present a “fuzz...
متن کاملAgainst Structuralist Theories of Computational Implementation
Under what conditions does a physical system implement or realize a computation? Structuralism about computational implementation, espoused by Chalmers and others, holds that a physical system realizes a computation just in the case the system instantiates a pattern of causal organization isomorphic to the computation‟s formal structure. I argue against structuralism through counter-examples dr...
متن کاملpostnatal studies of bats (pipistrellus kuhlii and miniopterus schreibersii) & histomorphology and histochemistry studies of organs and diseases of (neurergus microspilotus and n. kaiseri)
1. to determine whether difference in birth body mass influenced growth performance in pipistrellus kuhlii we studied a total of 12 captive-born neonates. bats were assigned to two body mass groups: light birth body mass (lbw: 0.89 ± 0.05, n=8) and heavy birth body mass (hbw: 1.35 ± 0.08, n=4). heavier body mass at birth was associated with rapid postnatal growth (body mass and forearm length) ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2012
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.01.011